A Killer Question From Japan. Is Tan 1° A Rational Number